Admissible rule

Results: 97



#Item
51Hearsay / Best evidence rule / Rules of evidence / Business record / Admissible evidence / Exclusionary rule / Hearsay in English law / Hearsay in United States law / Law / Evidence law / Evidence

Commonwealth Records in Evidence 2012 revision RkS

Add to Reading List

Source URL: www.naa.gov.au

Language: English - Date: 2014-08-01 02:52:03
52Combinatorics on words / Theoretical computer science / Structure / Universal algebra / Model theory / Regular language / String / Nondeterministic finite automaton / Admissible rule / Formal languages / Mathematics / Automata theory

Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz

Add to Reading List

Source URL: ciws.cl

Language: English - Date: 2014-05-04 09:47:46
53Daubert v. Merrell Dow Pharmaceuticals / Expert witness / Kumho Tire Co. v. Carmichael / Admissible evidence / Federal Rules of Evidence / Exclusionary rule / Evidence / Jury / Testimony / Law / Evidence law / Daubert standard

Advisory Committee on Evidence Rules Minutes of the Meeting of April 12-13, 1999 New York, N.Y. The Advisory Committee on the Federal Rules of Evidence met on April 12th and 13th at Fordham University in New York City.

Add to Reading List

Source URL: www.uscourts.gov

Language: English - Date: 2006-07-21 09:47:28
54Eyewitness identification / Perry v. New Hampshire / Witness / Evidence / Exclusionary rule / Admissible evidence / Gary L. Wells / Expert witnesses in English law / Evidence law / Law / Common law

****************************************************** The ‘‘officially released’’ date that appears near the beginning of each opinion is the date the opinion will be published in the Connecticut Law Journal or

Add to Reading List

Source URL: www.jud.ct.gov

Language: English - Date: 2014-07-21 11:21:44
55Symbol / Admissible rule / Propositional calculus / Logic / Propositional variable

arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU

Add to Reading List

Source URL: idsi.md

Language: English - Date: 2013-12-06 08:23:58
56Data mining / Machine learning / Cluster analysis / Data analysis / Geostatistics / Unification / Duplicate code / Abstract syntax tree / Admissible rule / Statistics / Computer programming / Software engineering

Duplicate code detection using anti-unification Peter Bulychev Marius Minea Lomonosov Moscow State University, Russian Federation

Add to Reading List

Source URL: clonedigger.sourceforge.net

Language: English - Date: 2008-04-08 01:58:42
57Noncommutative logic / Linear logic / Natural deduction / Substructural logic / Cut-elimination theorem / Sequent / Curry–Howard correspondence / Deep inference / Admissible rule / Logic / Mathematical logic / Proof theory

27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:38:50
58Proof theory / Propositional calculus / Non-classical logic / Deduction / Automated theorem proving / Sequent calculus / Natural deduction / Admissible rule / Intuitionistic logic / Logic / Mathematical logic / Mathematics

A Tutorial on Proof Theoretic Foundations of Logic Programming

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:38:39
59Statistical inference / Decision theory / Bayesian inference / Bayes estimator / Loss function / Estimator / Admissible decision rule / Mean squared error / Maximum likelihood / Statistics / Estimation theory / Statistical theory

Palmetto Lecture in Statistics University of South Carolina A (VERY) SHORT COURSE ON COMPARATIVE STATISTICAL INFERENCE Francisco J. Samaniego University of California, Davis

Add to Reading List

Source URL: www.stat.sc.edu

Language: English - Date: 2013-04-10 16:19:49
60Theoretical computer science / Models of computation / Type erasure / Proof theory / Lambda calculus / Valuation / Type system / Admissible rule / Natural deduction / Mathematical logic / Mathematics / Type theory

LNCS[removed]Erasure and Polymorphism in Pure Type Systems

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2008-11-13 13:58:09
UPDATE